-
-
Notifications
You must be signed in to change notification settings - Fork 2.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
chore: add "ui.virtual.jump-label" to solarized colorschemes #10056
chore: add "ui.virtual.jump-label" to solarized colorschemes #10056
Conversation
Most other themes make the jump label bold. I would dfinitly recommend that |
I just tried and I find it far, far worse It might look "prettier" on a screenshot, but for a quick action like that, I want the keys to be immediately recognizable and for that they need to stand out. Having said that, I just enabled it, and personally I can just keep my customizations, so I'm happy to change to bold in the PR. Just giving my feedback and fixing it while at it. |
I think that @pascalkuthe was suggesting making it red and bold rather than one or the other |
3a39439
to
4911923
Compare
I don't know if there are any recommendations, but red works for me - stands out, and I'm an exclusive solarized-dark user.